自动程序验证automatic: adj. 1.自动的;机械的。 2.【生理】自动性的,无 ...verification: n. 1.证实,证明,确定;核验,验证,核对;检验,校验 ...automatic program verification system: 自动程序验证系统program verification: 程序检验; 程序验证computer program verification: 计算机程序验证下载手机词典可随时随地查词查翻译